Pitch Correction In Logic